联邦学习安全与隐私保护综述

联邦学习是一种新型的分布式学习框架，它允许在多个参与者之间共享训练数据而不会泄露其数据隐私。但是这种新颖的学习机制仍然可能受到来自各种攻击者的前所未有的安全和隐私威胁。本文主要探讨联邦学习在安全和隐私方面面临的挑战。首先，本文介绍了联邦学习的基本概念和威胁模型，有助于理解其面临的攻击。其次，本文总结了由内部恶意实体发起的3种攻击类型，同时分析了联邦学习体系结构的安全漏洞和隐私漏洞。然后从差分隐私、同态密码系统和安全多方聚合等方面研究了目前最先进的防御方案。最后通过对这些解决方案的总结和比较，进一步讨论了该领域未来的发展方向。     

拦截高速目标的比例与反比例导引捕获区分析

针对拦截高速目标的作战特点，分析了比例导引(PN)与反比例导引(RPN)的捕获区。首先，通过分析拦截弹与目标的相对运动关系，推导得到了顺轨和逆轨的零控拦截条件，此条件由目标和拦截弹的速度前置角以及二者速度比确定；其次，以拦截弹和目标速度前置角为坐标系，推导得到了PN以及RPN捕获区以及各自导航比设置范围。PN的捕获区由逆轨零控拦截条件以及与其相切且斜率为1/(N-1)的两条直线构成，RPN的捕获区由顺轨零控拦截条件以及与其相切且斜率为1/(-N-1)的两条直线构成；然后，利用函数对称性将PN与RPN捕获区转换到同一坐标区间，得到了相同条件下RPN捕获区要大于PN捕获区的结论；最后，开展了四种情形下的仿真，验证了本文捕获区分析的合理性及有效性。     

一种基于虚拟页地址映射的NAND Flash管理算法

本文提出了一种基于虚拟页地址映射的NAND Flash管理算法.该算法通过定义坏块表、对应表等结构，以及设计的坏块替换策略和虚拟页地址到实际物理页地址的转换算法，实现上层软件采用虚拟地址对NAND Flash的无坏块连续页地址访问.该算法是一种高效的地址映射算法，能高效地对数据进行索引，占用SRAM空间较少，使系统达到高性能，并使得闪存使用的更加稳定持久.     

航空电子产品电磁环境效应模块化设计方法

对高强度辐射场（HIRF）环境特点与干扰类型进行分析，采用理论计算、计算机仿真技术（CST）的仿真分析及实测等方法分别对某型飞机航空电子系统综合显示单元的外部强电磁辐射场孔缝耦合、场线耦合及芯片前端电路影响关键芯片的相关规律进行了研究，给出了相关设计建议。结果表明，可通过分析孔缝、场线耦合获得进入关键芯片前端电路的电磁干扰能量，再结合关键芯片前端电路网络对干扰的插入损耗分析，获得关键芯片在外部强场激励下的感应电压。     

面向学生的智能解题专家系统的研究与设计

探讨了网络在专家系统中的应用 ,给出了一个基于网络的面向学生的智能解题专家系统的模型 ,分析了设计的基本过程。从专家系统出发 ,探讨了基于知识的推理系统。最后 ,从以上设计出发 ,总结了基于该模型的系统需进一步研究的工作。     

杠杆式力标准机自动控制系统

介绍单片机用于杠杆式力标准机控制、实现检定过程自动化的设计方法，重点介绍硬件结构和软件编制。     

高速低压差分信号（LVDS）器件应用设计方法研究

随着高速LVDS器件得到广泛应用，在高速信号使用LVDS传输时，信号传输线路问题、信号传输波形的最佳化成为非常重要的课题之一。由于印制电路板的布局布线直接影响信号传输质量，因此利用仿真对印制板分析成为设计上不可缺少的手段。有鉴于此，文章深入探讨了高速电路的设计，总结出设计技巧。     

数字式射击瞄准计算机设计与实现

某型射击军械系统的射瞄计算机原采用模拟机电式技术实现,存在体积大、功耗大、可靠性及可维护性差等缺点,因此,使用数字式计算机技术对其进行升级改造势在必行.本文首先对原系统的火控原理及火控构型的进行了分析;其次,介绍了射击瞄准计算机的对外接口关系.重点介绍了数字式射击瞄准计算机的采样解算时间的确定、计算方法的选取及接口设计等内容.本文所设计的数字式射击瞄准计算机已通过了系统验证并得到了使用,克服了原有系统所存在的固有缺点.文中的设计思想与所用的工程方法对类似武器系统的升级改造有所借鉴.     

符号流生成器在教学中的应用

简要介绍了美国ＵＮＩＳＹＳ公司１１００、２２００系列中型计算机上符号流生成器的使用，并用它编制了一些常用的运行流，简化了用户的上机操作，提高了上机效率。     

星上计算机几种离散化算法的比较

本文陈述并比较了连续时间系统的各种时间-离散化方法,认为阶跃响应不变(或零阶保持器)法比较适于工程实际应用.对分子分母均为二阶连续系统,分母阻尼系数D_2大于1.0、小于1.0或等于1.0这三种情况分别给出了用阶跃响应不变的时间-离散化法得到的差分方程和状态空间方程各项系数的解析计算式.讨论了差分方程形式和状态空间方程形式的等价性问题.最后说明了一个带有液体晃动和太阳帆板挠性特性的三轴稳定卫星姿态控制器是相当复杂的,星上计算机的工作量也是相当大的,因此要防止计算机出现计算饱和问题并同时注意到截断误差问题.